Sup-lattice 2-forms and quantales

Sup-Lattice 2-Forms and Quantales

00 2 Sup - lattice 2 - forms and quantales ∗

A 2-form between two sup-lattices L and R is defined to be a suplattice bimorphism L×R → 2. Such 2-forms are equivalent to Galois connections, and we study them and their relation to quantales, involutive quantales and quantale modules. As examples we describe applications to C*-algebras.

00 3 Sup - lattice 2 - forms and quantales ∗

A 2-form between two sup-lattices L and R is defined to be a suplattice bimorphism L×R → 2. Such 2-forms are equivalent to Galois connections, and we study them and their relation to quantales, involutive quantales and quantale modules. As examples we describe applications to C*-algebras.

ar X iv : m at h . R A / 0 21 13 20 v 2 9 D ec 2 00 3 Sup - lattice 2 - forms and quantales ∗

A 2-form between two sup-lattices L and R is defined to be a suplattice bimorphism L×R → 2. Such 2-forms are equivalent to Galois connections, and we study them and their relation to quantales, involutive quantales and quantale modules. As examples we describe applications to C*-algebras.

Pretopologies and a uniform presentation of sup-lattices, quantales and frames

We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extends in a modular way to obtain a presentation of quantales, as “sup-lattices on monoids”, by using the notion of pretopology. Our presentation is then applied to frames, the link with Johnstone’s presentation of frames i...